Fuzzy Constraint Satisfaction Using CCM — A Local Information Based Computation Model
نویسنده
چکیده
The present paper proposes a method of solving the fuzzy constraint satisfaction problems defined by Ruttkay. This method is based on CCM, which is a computational model for emergent computation, or for locality-based problem solving. CCM is a type of production system. It works stochastically, or randomly, and works with evaluation functions that are computed only with local information. CCM has already been applied to constraint satisfaction problems (CSPs). Binary-valued evaluation functions, each of which indicates whether a constraint is satisfied, are used. If the values of the evaluation functions are extended to real values, fuzzy CSPs can be expressed in CCM, and solved using a technique similar to GSAT or annealing. We applied this method to a fuzzy graph coloring problem, and evaluated the performance. This method can also be applied to open and dynamic fuzzy/non-fuzzy CSPs, in which data and constraints are changing dynamically or coming from or going to outside the system.
منابع مشابه
Methods of Parallel Processing of Constraint Satisfaction Using CCM | A Model for Emergent Computation
Two methods for solving large-scale constraint satisfaction problems using parallel processing are surveyed in the present paper. These methods are based on CCM, which is a model for emergent computation. The number of constraint violations is minimized in these methods. The minimization is performed by optimization of local functions. The computation is stochastic and no global information is ...
متن کاملConstraint Satisfaction by Parallel Optimization of Local Evaluation Functions with Annealing
A method for solving large-scale constraint satisfaction problems is proposed in the present paper. This method is stochastic (or randomized) and uses local information only, i.e., no global plan is expressed in the program and the computation refer to no global information. This method uses CCM (Chemical Casting Model) as a basis, which is a model for emergent computation proposed by the autho...
متن کاملConstraint Satisfaction with Delayed Evaluation
This paper describes the design and implementation of a constraint satisfaction system that uses delayed evaluation techniques to provide greater representational power and to avoid unnecessary computation. The architecture used is a uniform model of computation, where each constraint contributes its local information to provide a global solution. We demonstrate the uti l i ty of the system by ...
متن کاملCognitive Constraint Modeling: A Formal Approach to Supporting Reasoning About Behavior
Cognitive Constraint Modeling (CCM) is an approach to reasoning about behavior that (1) provides a framework for investigating the hypothesis that skilled behavior is the optimal solution to a constraint satisfaction problem defined by objective, environmental, knowledge, and architectural constraints, (2) derives predictions of behavior from formal specifications of theory, (3) supports reason...
متن کاملOn the Computation of Local Interchangeability in Soft Constraint Satisfaction Problems
Freuder in (1991) defined interchangeability for classical Constraint Satisfaction Problems (CSPs). Recently (2002), we extended the definition of interchangeability to Soft CSPs and we introduced two notions of relaxations based on degradation δ and on threshold α (neighborhood interchangeability (αNI )and αneighborhood interchangeability NI ). In this paper we study the presence of these rela...
متن کامل